Skip to content

Remove WRT_HALO deprecated. - #6

Merged
TobiKattmann merged 1 commit into
developfrom
chore_minor_cleanups
Dec 11, 2020
Merged

Remove WRT_HALO deprecated.#6
TobiKattmann merged 1 commit into
developfrom
chore_minor_cleanups

Conversation

@TobiKattmann

Copy link
Copy Markdown
Contributor

Additional to #5

@TobiKattmann
TobiKattmann merged commit d43df06 into develop Dec 11, 2020
@pcarruscag
pcarruscag deleted the chore_minor_cleanups branch April 30, 2023 21:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant